Rng{i}  Type{i'} 

latex

Up	rings 1
Definitions of Statement	Rng
Definitions	P & Q, Rng, t  T, , x:A. B(x)
Lemmas	rng eq wf, eqfun p wf, rng one wf, rng times wf, rng minus wf, rng zero wf, rng plus wf, rng car wf, ring p wf, rng sig wf